$\forall$${\it the\_es}$:ES, $j$, $e$:E. first($j$) $\Rightarrow$ $\neg$($e$ $<$loc $j$)